Timo Berthold - Mip Solving: Branching